Divisible Z-modules
نویسندگان
چکیده
In this article, we formalize the definition of divisible Z-module and its properties in the Mizar system [3]. We formally prove that any non-trivial divisible Z-modules are not finitely-generated. We introduce a divisible Z-module, equivalent to a vector space of a torsion-free Z-module with a coefficient ring Q. Z-modules are important for lattice problems, LLL (Lenstra, Lenstra and Lovász) base reduction algorithm [15], cryptographic systems with lattices [16] and coding theory [8].
منابع مشابه
Modules over the Ring of Pseudorational Numbers and Quotient Divisible Groups
Structure theorems are obtained for some classes of modules over the ring of pseudorational numbers and some classes of quotient divisible mixed groups.
متن کاملOn a Conjecture of Conrad, Diamond, and Taylor
We prove a conjecture of Conrad, Diamond, and Taylor on the size of certain deformation rings parametrizing potentially Barsotti-Tate Galois representations. To achieve this, we extend results of Breuil and Mézard (classifying Galois lattices in semistable representations in terms of “strongly divisible modules”) to the potentially crystalline case in Hodge-Tate weights (0, 1). We then use thes...
متن کاملOn a non-vanishing Ext
The existence of valuation domains admitting non-standard uniserial modules for which certain Exts do not vanish was proved in [1] under Jensen’s Diamond Principle. In this note, the same is verified using the ZFC axioms alone. In the construction of large indecomposable divisible modules over certain valuation domainsR, the first author used the property thatR satisfied Ext1R(Q,U) 6= 0, where ...
متن کاملA KIND OF F-INVERSE SPLIT MODULES
Let M be a right module over a ring R. In this manuscript, we shall study on a special case of F-inverse split modules where F is a fully invariant submodule of M introduced in [12]. We say M is Z 2(M)-inverse split provided f^(-1)(Z2(M)) is a direct summand of M for each endomorphism f of M. We prove that M is Z2(M)-inverse split if and only if M is a direct...
متن کامل